../setup.tcl